Distributed Reasoning for Multiagent Simple Temporal Problems
ثبت نشده
چکیده
Definition 4. We label lines 4-8 of the 4PPC algorithm as the reinstate procedure. This procedure reinstates a timepoint vk by, for every pair of previously-reinstated, neighboring timepoints vi and vj, tightening edge eki and edge ejk with respect to eij. Lemma 1. Let o and o′ be two distinct total orderings of the vertices, V for some graph G = 〈V,E〉. If o′ is consistent with the precedence relation ≺o , then G4 o = G4 o′ . Proof. Assume G4 o 6= G4 o′ . Since G4 o = 〈 V,E ∪ E4 o 〉 and G4 o′ = 〈 V,E ∪ E4 o′ 〉 , if G4 o 6= G4 o′ then E 4 o 6= E4 o′ . E4 o 6= E4 o′ implies that there exists at least one edge exy such that, either exy ∈ E 4 o and exy / ∈ E4 o′ , or exy / ∈ E 4 o and exy ∈ E4 o′ . WLOG, let exy ∈ E4 o be the first edge that is added to E4 o under elimination order o that is not added to E4 o′ under o ′. In order for edge exy to be added under elimination order o, there must be some vertex vz such that it is eliminated prior to vx and vy and shares an edge with both vx and vy (exz and eyz respectively) at the time of its elimination. By
منابع مشابه
Distributed Reasoning for Multiagent Simple Temporal Problems
This research focuses on building foundational algorithms for scheduling agents that assist people in managing their activities in environments where tempo and complex activity interdependencies outstrip people’s cognitive capacity. We address the critical challenge of reasoning over individuals’ interacting schedules to efficiently answer queries about how to meet scheduling goals while respec...
متن کاملDISTRIBUTED CONSTRAINT OPTIMIZATION FOR MULTIAGENT SYSTEMS by Pragnesh
To coordinate effectively, multiple agents must reason and communicate about the interactions between their individual local decisions. Distributed planning, distributed scheduling, distributed resource allocation and distributed task allocation are some examples of multiagent problems where such reasoning is required. In order to represent these types of automated reasoning problems, researche...
متن کاملMultiagent Planning with Partially Ordered Temporal Plans
This paper discusses the specifics of planning in multiagent environments. It presents the formal framework MAPL (“maple”) for describing multiagent planning domains. MAPL allows to describe both qualitative and quantitative temporal relations among events, thus subsuming the temporal models of both PDDL 2.1 and POP. Other features are different levels of control over actions, modeling of agent...
متن کاملSpace Applications for Distributed Constraint Reasoning
A potential weakness of any research is its applicability to real problems, and it is often difficult to determine whether a particular application needs a particular technology. Space missions offer a wide variety of multiagent problem domains, but the technology needs of these missions vary. Techniques developed by research in Distributed Constraint Reasoning (DCR) employ representations that...
متن کاملMAPL: a Framework for Multiagent Planning with Partially Ordered Temporal Plans
This paper discusses the specifics of planning in multiagent environments. It presents the formal framework MAPL (“maple”) for describing multiagent planning domains. MAPL allows to describe both qualitative and quantitative temporal relations among events, thus subsuming the temporal models of both PDDL 2.1 and POP. Other features are different levels of control over actions, modeling of agent...
متن کاملMultiagent Simple Temporal Problem: The Arc-Consistency Approach
The Simple Temporal Problem (STP) is a fundamental temporal reasoning problem and has recently been extended to the Multiagent Simple Temporal Problem (MaSTP). In this paper we present a novel approach that is based on enforcing arc-consistency (AC) on the input (multiagent) simple temporal network. We show that the AC-based approach is sufficient for solving both the STP and MaSTP and provide ...
متن کامل